Symbolic semantics and bisimulation for full LOTOS

No abstract avaliabl

An adequate logic for full LOTOS

We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation defined on symbolic transition systems

Leech Segmental Repeats Develop Normally in the Absence of Signals from either Anterior or Posterior Segments

AbstractWe have investigated whether the development of segmental repeats is autonomous in the embryo of the leech Helobdella robusta. The segmental tissues of the germinal band arise from progeny of five stem cells called teloblasts. Asymmetric divisions of the teloblasts form chains of segment founder cells (called primary blast cells) that divide in a stereotypical manner to produce differentiated descendants. Using two distinct techniques, we have looked for potential interactions between neighboring blast cell clones along the anterior–posterior axis. In one technique, we prevented the birth of primary blast cells by injection of DNase I into the teloblast, thereby depriving the last blast cell produced before the ablation of its normal posterior neighbors. We also ablated single blast cells with a laser microbeam, which allowed us to assess potential signals acting on either more anterior or more posterior primary blast cell clones. Our results suggest that interactions along the anterior–posterior axis between neighboring primary blast cell clones are not required for development of normal segmental organization within the blast cell clone. We also examined the possibility that blast cells receive redundant signals from both anterior and posterior neighboring clones and that either is sufficient for normal development. Using double blast cell laser ablations to isolate a primary blast cell clone by removal of both its anterior and its posterior neighbor, we found that the isolated clone still develops normally. These results reveal that the fundamental segmental repeat in the leech embryo, the primary blast cell clone, can develop normally in the apparent absence of signals from adjacent repeats along the anterior–posterior axis

The tree identify protocol of IEEE 1394 in uCRL

We specify the tree identify protocol of the IEEE 1394 high performance serial multimedia bus at three different levels of detail using $mu$CRL. We use the cones and foci verification technique of Groote and Springintveld to show that the descriptions are equivalent under branching bisimulation, thereby demonstrating that the protocol behaves as expected

CDASH: a cloud-enabled program for structure solution from powder diffraction data

The simulated annealing approach to crystal structure determination from powder diffraction data, as implemented in the DASH program, is readily amenable to parallelization at the individual run level. Very large scale increases in speed of execution can be achieved by distributing individual DASH runs over a network of computers. The CDASH program delivers this by using scalable on-demand computing clusters built on the Amazon Elastic Compute Cloud service. By way of example, a 360 vCPU cluster returned the crystal structure of racemic ornidazole (Z0 = 3, 30 degrees of freedom) ca 40 times faster than a typical modern quad-core desktop CPU. Whilst used here specifically for DASH, this approach is of general applicability to other packages that are amenable to coarse-grained parallelism strategies

Magnetic groundstate and Fermi surface of bcc Eu

Using spin-spiral technique within the full potential linearized augmented-plane-waves (LAPW) electronic structure method we investigate the magnon spectrum and N\'eel temperature of bcc Eu. Ground state corresponding to an incommensurate spin-spiral is obtained in agreement with experiment and previous calculations. We demonstrate that the magnetic coupling is primarily through the intra-atomic $f-s$ and $f-d$ exchange and Ruderman-Kittel-Kasuya-Yosida mechanism. We show that the existence of this spin-spiral is closely connected to a nesting feature of the Fermi surface which was not noticed before.Comment: 6 pages 8 figure